101. Toward a lean and lively calculus
پدیدآورنده : Conference/Workshop to Develop Alternate Curriculum and Teaching Methods for Calculus at the College Level, Tulane University, January 2-6, 1986 ; editor, Ronald G. Douglas,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Calculus - Study and teaching )Higher( - Congresses
رده :
QA
.
C66
303
1986
102. #Toward a lean and lively calculus
پدیدآورنده : #Conference/Workshop to Develop Alternate Curriculum and Teaching Methods for Calculus at the College Level, Tulane University, January 2-6, 1986 , editor, Ronald G. Douglas
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Calculus- Study and teaching )Higher(- Congresses
رده :
#
QA
،#.
C66
،#
1986
103. Toward a lean & lively calculus
پدیدآورنده :
کتابخانه: (طهران)
موضوع : CALCULUS-STUDY & TEACHING-CONGRESSES
رده :
QA
303
.
C66
1986
104. Trends and applications of mathematics to mechanics /
پدیدآورنده : edited by Elisabetta Rocca, Ulisse Stefanelli, Lev Truskinovsky, Augusto Visintin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Mechanics, Applied-- Mathematics, Congresses.,Building materials.,Calculus of variations.,Functional analysis.,Mathematical models.,Mathematical physics.,Mathematics.,Probabilities.,SCIENCE-- Mechanics-- General.,SCIENCE-- Mechanics-- Solids.
رده :
TA349
105. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
106. Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Lambda calculus -- Congresses
رده :
QA
9
.
5
.
I58
1993
107. Typed Lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Lambda calculus-- Congresses
رده :
QA
9
.
5
.
I58
1995
108. Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
پدیدآورنده : Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
کتابخانه: (طهران)
موضوع : Lambda calculus - Congresses
رده :
QA
9
.
5
.
I58
1995
109. Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
پدیدآورنده : Pawel Urzyczyn
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
3461
110. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
9
.
5
.
I58
2001
111. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings
پدیدآورنده : Samson Abramsky )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2044
112. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
پدیدآورنده : Jean-Yves Girard )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1581
113. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
پدیدآورنده : Martin Hofmann )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2701
114. Typed lambda claculi and applications : International Conference on Typed Lam]b[ da Calculi and Applications, TLCA'93, March 16-18, 1993, Utrecht, the Netherlands: proceedings
پدیدآورنده : M. Bezem, J.F. Groote )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
664
115. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
پدیدآورنده : Philippe de Groote, J. Roger Hindley )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210
116. Variational analysis and aerospace engineerin
پدیدآورنده : / edited by Giuseppe Buttazzo, Aldo Frediani
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Calculus of variations--Congresses,Aerospace engineering--Congresses,Computational fluid dynamics--Congresses,Mathematical optimization--Congresses,Electronic books.
رده :
TA
,
347
,.
C3
,
V375
,
2009eb
117. Variational analysis and aerospace engineering :
پدیدآورنده : Giuseppe Buttazzo, Aldo Frediani, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Aerospace engineering-- Mathematics, Congresses.,Calculus of variations, Congresses.,Mathematical optimization, Congresses.
رده :
QA315
.
V37
2012eb
118. Variational and free boundary problems
پدیدآورنده : Avner Friedman, Joel Spruck editors
کتابخانه: (طهران)
موضوع : Congresses ، Boundary value problems,Congresses ، Calculus of variations
رده :
QA
379
.
V3
119. Variational and free boundary problems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Boundary value problems-- Congresses,، Calculus of variations-- Congresses
رده :
QA
379
.
V357
1993
120. Variational methods for equilibrium problems of fluids : Trento, 20-25 Juin 1983
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Fluid dynamics,Congresses ، Calculus of variations,Congresses ، Boundary value problems
رده :
QA
3
.
A78
Vol
.
118
